Homotopy limits of model categories over inverse index categories

Homotopy Limits for 2-categories

We study homotopy limits for 2-categories using the theory of Quillen model categories. In order to do so, we establish the existence of projective and injective model structures on diagram 2categories. Using these results, we describe the homotopical behaviour not only of conical limits but also of weighted limits. Finally, pseudo-limits are related to homotopy limits. 1. Quillen model structu...

Limits in modified categories of interest

‎We firstly prove the completeness of the category of crossed modules in a modified category of interest‎. ‎Afterwards‎, ‎we define pullback crossed modules and pullback cat objects that are both obtained by pullback diagrams with extra structures on certain arrows‎. ‎These constructions unify many corresponding results for the cases of groups‎, ‎commutative algebras and can also be adapted to ...

Sheafifiable Homotopy Model Categories

If a Quillen model category can be specified using a certain logical syntax (intuitively, “is algebraic/combinatorial enough”), so that it can be defined in any category of sheaves, then the satisfaction of Quillen’s axioms over any site is a purely formal consequence of their being satisfied over the category of sets. Such data give rise to a functor from the category of topoi and geometric mo...

Homotopy Theory of Model Categories

In this paper some questions in the homotopy theory of model categories are answered. The important results of this paper are Theorems B, C and D which state that pushouts, sequential direct limits, and realizations of simplicial objects respect weak equivalences, provided sufficient cofibrancy is present. Section 1 presents a model category structure on the simplicial objects over a model cate...

Homotopy colimits in model categories